业务流程建模中流程校验的研究与实现

随着计算机网络技术的迅速发展,企业的信息化程度不断提高,以自动化流程为核心理念的工作流管理系统应用越来越普及,对工作流管理系统的可靠性和正确性要求也越来越高.提出了一种工作流建模时的验证方法:在工作流管理系统的工作流建模环境中加入流程验证模块,对建模过程中可能产生的错误进行验证,进而建立简洁实用的流程;通过分析流程中的异常和失败的类型,增强系统的纠错能力,减少引擎处理的压力;对有着特殊应用的建模过程,能够方便地添加自定义的验证条件,为流程的正确运行提供有效的保障;向基于规则化的工作流系统提供建模完整性的方案,获得系统工作流的稳健性.     

维吾尔史诗《福乐智慧》及其数学思想解读

《福乐智慧》是一部反映古代维吾尔人社会生活的百科全书,广泛地涉及到哲学、政治、法律、军事、伦理、宗教、天文学、数学等领域,其中的数学与数学教育思想尤为丰富。《福乐智慧》探讨了诸如什么是数学,为什么要学习数学,学习什么内容,如何学习数学,以及学习数学对人的一生有什么影响等问题。《福乐智慧》所涉及的数学内容包括算术、几何学、三角、代数,尤其是特别提到了欧几里得的《几何原本》。总结发掘《福乐智慧》的数学教育思想,对于批判继承中华民族的优秀文化成果,让国内其他兄弟民族乃至世界各国客观全面地了解新疆古代维吾尔数学发展史,填补我国数学发展史和中亚数学发展史上的空白等有重要意义。     

建筑造型元素——构架的设计与创意

合理的构架设计不仅升华了建筑的外观造型,而且丰富了建筑整体的内涵;失败的构架设计则会产生适得其反的效果。创意的构架设计则是从时代发展的变化趋势着手,赋予构架新的生命。介绍了构架的作用,从过渡空间、形态转换、建筑特性、技术结合、灵活可变5个方面探讨了构架造型的设计创意,揭示了构架造型的设计手法,并剖析了构架这种造型元素在当前建筑设计上的发展趋势,提出应当注重构架的一体化设计,强调构架与实用功能相结合,并应充分发挥构架造型价值的设计观点。     

基于DoDAF的远程目指系统作战体系结构

针对军事信息系统规模庞大、组成结构复杂以及越来越短的产品研制周期要求,在深入研究DoDAF（Department of Defense Architecture Framework）体系结构建模思想及理论的基础上,提出一种基于DoDAF的远程目指系统作战体系结构建模方法。通过分析作战体系结构产品的内涵,以及相互关联关系,给出了具体的体系结构设计步骤及产品实现形式。结合具体典型实例给出了体系结构产品的设计过程,最后通过动态仿真实验对所建立的模型进行了验证。实验结果表明,基于该方法建立模型合理可行、直观易懂、步骤简明清晰。     

分队战术训练仿真系统CGF技术

计算机生成兵力(CGF)是攻防对抗作战仿真的重要组成部分和重点研究内容,也是分队战术训练仿真系统的一个重要技术支撑。给出了仿真系统中CGF实体在基于HLA协议下的功能结构和拓扑结构,介绍了仿真系统中CGF建模所研究的内容和实体建模技术,最后指出了将人工智能技术应用于CGF实体行为决策建模的思路。     

管道机器人在三通处的通过性分析

三通是管道机器人经常遇到的典型障碍之一,克服该障碍的能力用管道机器人在三通处通过性来描述。文中提出一种描述差压驱动式管道机器人三通通过性的数学模型,该模型由一组组合约束构成。通过对约束方程的分析讨论、与管道机器人弯道通过性的对比分析,得出了规律性的结论。管道机器人在三通处的姿态、单元体的几何尺寸、行走轮结构形式对其通过性都有不同程度的影响。所提出数学模型是管道机器人三通自主行走控制策略设计和相应结构设计的理论基础。     

海面空-空无线信道特征

针对海上远距通信场景,基于无人机之间的无线通信链路,对接收功率进行实际测量。在大尺度路径损耗方面,采用对数距离线性模型进行拟合,分析海上远距空-空无线信道特征,获取路径损耗指数,并采用射线跟踪方法进行仿真验证,通过仿真所得信道冲激响应在多径时延和功率方面分析产生接收功率快速变化的原因。分析结果表明,近岸的多径反射会造成接收功率的波动,并且会造成路径损耗的升高。利用三种分布函数对测量数据进行分布拟合,分析海面和近岸两种通信条件下空-空无线信道的小尺度分布特征。测量分析结果表明,小尺度特征受陆地反射影响明显,在距离陆地较远的海面呈现高斯分布特征,而在近陆地处未呈现典型分布特征。     

基于Petri网的防空作战过程建模

赋时着色Petri网(TCPN)是在CPN基础发展起来的图形化描述工具,适用于带有时间特性系统的性能评价与仿真。将TCPN加以改进,增加测试弧,时间特性反映在变迁上,且允许时间与标记值可按复杂的函数变化,使Petri网可同时描述离散的状态和连续的变化,由此提出了适于防空作战过程建模的面向仿真的TCPN,并对其在一个小型的防空对抗作战过程的有关作战单元建模中的应用进行了探讨。     

基于运动状态和敌我属性的空中目标融合识别

研究了基于实时跟踪器的空中目标航迹身份识别问题。从分析目标运动状态和敌我属性的不确定性出发 ,建立了空中目标身份统计模型 ;根据建立的模型 ,通过采用Dempster Shafer证据理论方法 ,对空中目标进行融合识别。仿真实验结果证明了模型和算法的有效性。     

Deterministic inventory lot‐size models under inflation with shortages and deterioration for fluctuating demand

In this paper, we extend the inventory lot‐size models to allow for inflation and fluctuating demand (which is more general than constant, increasing, decreasing, and log‐concave demand patterns). We prove that the optimal replenishment schedule not only exists but is also unique. Furthermore, we show that the total cost associated with the inventory system is a convex function of the number of replenishments. Hence, the search for the optimal number of replenishments is simplified to finding a local minimum. Finally, several numerical examples are provided to illustrate the results. © 2001 John Wiley & Sons, Inc. Naval Research Logistics 48: 144–158, 2001